Some implemetations of logic, notably Prolog apply negation as failure, whuch means that if a solution is not found (failure), the thing you are trying to solve is deemed as not true (negation). This effectvely adopts the closed world assumption - if raw facts are not explciitly stated they are false, or in other words all facts are known in the knowledge base.
Used on pages 22, 396